1
Deductive Software Verification – The KeY Book: From Theory to Practice

Deductive Software Verification – The KeY Book: From Theory to Practice

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)
წელი:
2016
ენა:
english
ფაილი:
PDF, 8.26 MB
5.0 / 5.0
english, 2016
2
Monophasic Action Potentials: Basics and Clinical Application

Monophasic Action Potentials: Basics and Clinical Application

S. Bertil Olsson, Shiwen Yuan (auth.), Michael R. Franz M.D., Ph.D., Priv.-Doz. Dr. Claus Schmitt, Dr. Bernhard Zrenner (eds.)
წელი:
1997
ენა:
english
ფაილი:
PDF, 9.52 MB
0 / 0
english, 1997
3
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)
წელი:
2007
ენა:
english
ფაილი:
PDF, 3.94 MB
0 / 0
english, 2007
4
Armee und staatliche Integration: Preußen und die Habsburgermonarchie (Krieg in der Geschichte Band 36) - (Digitalisat Bayerische Staatsbibliothek München)

Armee und staatliche Integration: Preußen und die Habsburgermonarchie (Krieg in der Geschichte Band 36) - (Digitalisat Bayerische Staatsbibliothek München)

Bernhard Schmitt
წელი:
2007
ენა:
german
ფაილი:
PDF, 50.92 MB
0 / 3.5
german, 2007
5
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)
წელი:
2007
ენა:
english
ფაილი:
PDF, 5.36 MB
0 / 0
english, 2007
6
Catheter Ablation of Cardiac Arrhythmias: A Practical Approach

Catheter Ablation of Cardiac Arrhythmias: A Practical Approach

Dr. med. Bernhard Zrenner (auth.), Prof. Dr. med. Claus Schmitt, Dr. med. Isabel Deisenhofer, Dr. med. Bernhard Zrenner (eds.)
წელი:
2006
ენა:
english
ფაილი:
PDF, 37.29 MB
0 / 0
english, 2006
7
EEG in der Neuropädiatrie

EEG in der Neuropädiatrie

Prof. Dr. Bernhard Schmitt, Dr. Gabriele Wohlrab (auth.)
წელი:
2013
ენა:
german
ფაილი:
PDF, 2.53 MB
0 / 0
german, 2013
8
EEG in der Neuropädiatrie

EEG in der Neuropädiatrie

Bernhard Schmitt, Gabriele Wohlrab
წელი:
2013
ენა:
german
ფაილი:
PDF, 3.54 MB
0 / 5.0
german, 2013